Réseaux de chercheurs en Méditerranée. Contraintes institutionnelles et autonomie scientifique

Abstraction de réseaux de contraintes

ion de réseaux de contraintes Sylvain Merchez — Christophe Lecoutre — Frédéric Boussemart CRIL (Centre de Recherche en Informatique de Lens) CNRS FRE 2499 rue de l’université, SP 16 F-62307 Lens cedex {merchez,lecoutre,boussemart}@cril.univ-artois.fr RÉSUMÉ. Dans ce papier, nous nous intéressons à l’abstraction de réseaux de contraintes. Nous présentons un cadre théorique permettant de prendre ...

Modélisation de réseaux biologiques discrets en programmation logique par contraintes

RÉSUMÉ. Des outils informatiques sont nécessaires au développement de la biologie systémique pour analyser qualitativement la dynamique des réseaux d’interaction. Dans ce contexte, notre objectif est de développer un outil autour d’une spécification unique qui permette aux biologistes dans un contexte de connaissances incomplètes et qualitatives, (i) d’inférer des modèles à partir de propriétés...

Synthèse intégrée du diagnostic de systèmes contrôlés en réseaux avec contraintes de communication

Networked Control systems (NCSs) have been one of research focuses in academia and industrial applications during the last few years. The advantages of NCSs over conventional or hardwired control include reduction of system wiring and increase in maintenance and troubleshooting facilities. Because of these attractive benefits, many industrial companies and institutes have shown interest in appl...

Chronique : Réseaux de Petri et modélisation en biologie moléculaire

Approches de programmation par contraintes pour l'analyse des propriétés structurelles des réseaux de Petri et application aux réseaux biochimiques

Petri nets are a simple formalism for modelling concurrent computation. This formalism has been proposed as a promising tool to describe and analyse biochemical networks. In this thesis, we explore the structural properties of Petri nets as a mean to provide information about the biochemical system evolution and its dynamics, especially when kinetic data are missing, making simulations impossib...